Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Книжкові видання та компакт-диски - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
 Знайдено в інших БД:Журнали та продовжувані видання (1)Наукова періодика України (1)
Пошуковий запит: (<.>M=Glushkov institute of cybernetics$<.>)
Загальна кількість знайдених документів : 1
1.
ІВ199618

Rewriting techniques and efficient theorem proving [Text] : international workshop: Kyiv, May 29-30, 2000 / Taras Shevchenko Univ. of Kyiv, Nat. Acad. of Sciences of Ukraine, Glushkov inst. of cybernetics ; ed. A. Letichevsky, A. Lyaletski. - Kyiv : [б.в.], 2000. - IV, 144 p.: fig. - Назва обкл. : RTETP-2000. - Бібліогр.: v kinci st. - ISBN 966-02-1654-8

Рубрикатор НБУВ:
 З970.5-018 я43 
Тематичні рубрики:
 Інтелектуальні системи 


Дод. точки доступу:
Letichevsky, A. (ed.); Lyaletski, A. (ed.); Taras Shevchenko University of Kyiv; National academy of sciences of UkraineGlushkov institute of cybernetics (Kyiv)

Видання зберігається у :

 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського